formalizar proposiciones logicas